proof of partial correctness - Anglais Synonymes Dictionnaire